Graph Based Workflow Validation
نویسندگان
چکیده
Content Management Systems in the field of content production and publishing need to monitor the progress of large numbers of simultaneously evolving workflows. In order to make such systems adaptive to the varying needs of their organizations, the utilization of a graphical editor for workflows has been proposed, thus generating the hazard of the specification of erroneous and invalid workflows. In this paper we provide a formal modeling for workflows and then, based on it, we explain how the validity of a simple workflow can be evaluated through the examination of the transitive closure of its graph. Continuing to the more general case, we develop a problem transformation methodology that allows for all workflows to be validated using a transitive closure examination approach. The Python implementation of our methodology is provided as is freely to all interested parties.
منابع مشابه
WPS No . 621 / February 2008 Workflow Graph Verification Using Graph Search Techniques
Workflow management systems provide a flexible way of implementing business processes. Structural conflicts such as deadlock and lack of synchronization are commonly occurring errors in workflow processes. Workflows with structural conflicts may lead to error-prone and undesirable results in business processes, which may in turn affect customer satisfaction, employee productivity, and integrity...
متن کاملGrid Workflows Specification and Verification
Grids are being adopted and developed in several scientific disciplines that deal with large-scale collaboration, massive distributed data, and distributed computing problems. The service orchestration is a problem of making multiple services coordinate themselves and communicate in an orderly fashion so as to accomplish a task more complex than the single tasks provided by the individual compo...
متن کاملHyperMoVal: Interactive Visual Validation of Regression Models for Real-Time Simulation
During the development of car engines, regression models that are based on machine learning techniques are increasingly important for tasks which require a prediction of results in real-time. While the validation of a model is a key part of its identification process, existing computationor visualization-based techniques do not adequately support all aspects of model validation. The main contri...
متن کاملRationality Validation Algorithm Based on Petri Net
In order to inspect the correctness of workflow during process design and avoid exceptions after processes run, this study provides rationality Validation Algorithm based on Petri Net. Firstly the study points out the necessity of rationality validation in workflow model, then analyzes all kinds of existing validation algorithm of workflow model rationality and emphatically describes a validati...
متن کاملInteractive workflow mining - requirements, concepts and implementation
Many information systems log event data about executed tasks. Workflow mining is concerned with the derivation of a graphical workflow model out of this data. Experience from applying our workflow mining system InWoLvE in experiments and practical applications has shown that workflow mining is a highly interactive process. The mining expert iteratively approaches the result by varying the param...
متن کاملArchitectural Plan for Constructing Fault Tolerable Workflow Engines Based on Grid Service
In this paper the design and implementation of fault tolerable architecture for scientific workflow engines is presented. The engines are assumed to be implemented as composite web services. Current architectures for workflow engines do not make any considerations for substituting faulty web services with correct ones at run time. The difficulty is to rollback the execution state of the workflo...
متن کامل